if (!$TYPE_MYSQL_JSON_SO) {
  skip Need MYSQL_JSON plugin;
}
